Ident. | Authors (with country if any) | Title |
---|
000145 |
Benjamin Komac ; Pere Esteban [Espagne] ; Laura Trapero ; Roger Caritg | Modelization of the Current and Future Habitat Suitability of Rhododendron ferrugineum Using Potential Snow Accumulation |
000148 |
Vincent M. Brandenburg [Allemagne] ; Pieter Evenepoel [Belgique] ; Jürgen Floege [Allemagne] ; David Goldsmith [Royaume-Uni] ; Rafael Kramann [Allemagne] ; Ziad Massy [France] ; Sandro Mazzaferro [Italie] ; Leon J. Schurgers [Pays-Bas] ; Smeeta Sinha [Royaume-Uni] ; Vicens Torregrosa [Espagne] ; Pablo Ure A-Torres [France] ; Marc Vervloet [Pays-Bas] ; Mario Cozzolino [Italie] | Lack of evidence does not justify neglect: how can we address unmet medical needs in calciphylaxis? |
000D94 |
Kattia Rojas Loría [Espagne] ; Teresa Gutiérrez Rosado [Espagne] ; Leonor María Cantera Espinosa [Espagne] ; Leda María Marenco Marrochi [Costa Rica] ; Anna Fernández Sánchez [Australie] | Trends in public health policies addressing violence against women |
000E32 |
J. I. Lopez-Moreno [Espagne] ; J. Revuelto [Espagne] ; M. Gilaberte [Espagne] ; E. Moran-Tejeda [Espagne] ; M. Pons [Andorre] ; E. Jover [Andorre] ; P. Esteban [Andorre] ; C. Garcia [Espagne] ; J. W. Pomeroy [Canada] | The effect of slope aspect on the response of snowpack to climate warming in the Pyrenees |
000E45 |
P. Nuche [Espagne] ; B. Komac [Andorre] ; J. J. Camarero [Espagne] ; C. L. Alados [Espagne] | Developmental instability as an index of adaptation to drought stress in a Mediterranean oak |
001504 |
Ernest Valveny [Espagne] ; Mathieu Delalandre [France] ; Romain Raveaux [France] ; Bart Lamiroy [France] | Report on the Symbol Recognition and Spotting Contest |
001709 |
L. Trapero [Andorre] ; J. Bech [Espagne] ; J. Lorente [Espagne] | Numerical modelling of heavy precipitation events over Eastern Pyrenees: Analysis of orographic effects |
001713 |
Marc Pons-Pons [Espagne, Andorre, Canada] ; Peter A. Johnson [Canada] ; Marti Rosas-Casals [Espagne] ; Barbara Sureda [Espagne] ; Eric Jover [Andorre] | Modeling climate change effects on winter ski tourism in Andorra |
001718 |
B. Komac [Andorre] ; C. Stefanescu [Espagne] ; R. Caritg [Andorre] ; M. Domenech [Andorre] | Forces driving the composition of butterfly assemblages in Andorra |
001E93 |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
002653 |
Javier Baliosian [Uruguay] ; Joan Serrat [Espagne, États-Unis] ; Matias Richart [Uruguay] ; Juan Saavedra [Uruguay] ; Mariela Borba [Uruguay] ; Jose Luis Melus [Espagne] | Policy-Based Pricing for Heterogeneous Wireless Access Networks |
003105 |
Salim Jouili [France] ; Salvatore Tabbone [France] ; Ernest Valveny [Espagne, Canada] | Comparing Graph Similarity Measures for Graphical Recognition |
003228 |
Ronen Brafman [Israël] ; Hector Geffner [Espagne] ; Joerg Hoffmann [France] ; Henry Kautz [États-Unis] | Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS'10) |
003B62 |
Laura Trapero [Andorre, Espagne] ; Joan Bech [Espagne] ; Tomeu Rigo [Espagne] ; Nicolau Pineda [Espagne] ; David Forcadell [Espagne] | Uncertainty of precipitation estimates in convective events by the Meteorological Service of Catalonia radar network |
003B71 |
Oriol Ramos Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal Classifier Fusion in a Non-Bayesian Probabilistic Framework |
004297 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | The Computability Path Ordering: The End of a Quest |
004321 |
Ernest Valveny [Espagne] ; Philippe Dosch [France] ; Alicia Fornés [Espagne] ; Sergio Escalera [Espagne] | Report on the Third Contest on Symbol Recognition |
004334 |
Ernest Valveny [Espagne] ; Salvatore Tabbone [France] ; Oriol Ramos [Espagne] ; Emilie Philippot [France] | Performance Characterization of Shape Descriptors for Symbol Representation |
004344 |
O. Ramos Terrades [Espagne] ; E. Valveny [Espagne] ; S. Tabbone [France] | On the Combination of Ridgelets Descriptors for Symbol Recognition |
004C56 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | HORPO with Computability Closure: A Reconstruction |
004C97 |
Marçal Rusi Ol [Espagne] ; Philippe Dosch [France] ; Josep Llad S [Espagne] | Boundary Shape Recognition Using Accumulated Length and Angle Information |
004D27 |
Iria Da Cunha [Espagne, États-Unis] ; Silvia Fernández [France] ; Patricia Velázquez Morales [Espagne] ; Jorge Vivaldi [Espagne, États-Unis] ; Eric Sanjuan [France] ; Juan Manuel Torres-Moreno [France, Canada] | A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics |
005470 |
Frédéric Blanqui [France] ; Jean-Pierre Jouannaud [France] ; Albert Rubio [Espagne] | Higher-Order Termination: From Kruskal to Computability |
005543 |
E. Valveny [Espagne] ; P. Dosch [France] ; Adam Winstanley [Irlande (pays)] ; Yu Zhou [Irlande (pays)] ; Su Yang [République populaire de Chine] ; Luo Yan [République populaire de Chine, Hong Kong] ; Liu Wenyin [République populaire de Chine, Hong Kong] ; Dave Elliman [Royaume-Uni] ; Mathieu Delalandre [France] ; Eric Trupin [France] ; Sébastien Adam [France] ; Jean-Marc Ogier [France] | A general framework for the evaluation of symbol recognition methods |
006216 |
Mirtha-Lina Fernández [Cuba] ; Guillem Godoy [Espagne] ; Albert Rubio [Espagne] | Orderings for Innermost Termination |
006B06 |
Philippe Dosch [France] ; Josep Llad S [Espagne] | Vectorial Signatures for Symbol Discrimination |
006B23 |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Symbol Recognition Contest: A Synthesis |
006B45 |
Miquel Bofill [Espagne] ; Albert Rubio [Espagne] | Redundancy Notions for Paramodulation with Non-monotonic Orderings |
006B50 |
Ernest Valveny [Espagne] ; Philippe Dosch [France] | Performance Evaluation of Symbol Recognition |
006C07 |
Ángel J. Gil [Espagne, États-Unis] ; Miki Hermann [France] ; Gernot Salzer [Autriche] ; Bruno Zanuttini [France] | Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains |
006C21 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] | Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure |
006C27 |
Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis] | Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems |
006C89 |
Ernest Valvenyl [Espagne] ; Philippe Dosch [France] | Symbol recognition contest: A synthesis |
007883 |
Mercè Avellanet ; Meritxell Fiter ; Eva Cirera [Espagne] ; Margarida Coll | Prevalence of urinary incontinence in Andorra: impact on women's health. |
009D22 |
H. Everett [France] ; C. T. Hoàng [France, Canada] ; K. Kilakos [France, Royaume-Uni] ; M. Noy [France, Espagne] | Planar segment visibility graphs |
009E55 |
Jordi Levy [Espagne] ; Margus Veanes [Colombie] | On the Undecidability of Second-Order Unification |
009E62 |
Miquel Bofill [Espagne] ; Guillem Godoy [Espagne] ; Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Modular Redundancy for Theorem Proving |
009E81 |
Hubert Comon [France] ; Robert Nieuwenhuis [Espagne] | Induction=I-Axiomatization+First-Order Consistency |
00A900 |
Xavier Franch [Espagne] ; Josep M. Rib [Espagne] | Using UML for Modelling the Static Part of a Software Process |
00A938 |
Robert Nieuwenhuis [Espagne] ; José Miguel Rivero [Espagne] | Solved Forms for Path Ordering Constraints |
00A984 |
Robert Nieuwenhuis [Espagne] | Invited Talk: Rewrite-Based Deduction and Symbolic Constraints |
00AA11 |
Philippe Dosch [France] ; Christian Ah-Soon [France] ; Gérald Masini [France] ; Gemma Sénchez1 [France, Espagne] ; Karl Tombre [France] | Design of an Integrated Environment for the Automated Analysis of Architectural Drawings⋆ |
00AA64 |
Albert Rubio [Espagne] | A Fully Syntactic AC-RPO |
00B248 |
Marie-Madeleine Rohmer [France] ; Marc Bénard [France] ; Jean-Philippe Blaudeau [France] ; Juan-M Maestre [Espagne] ; Josep-M Poblet [Espagne] | From Lindqvist and Keggin ions to electronically inverse hosts |
00BC26 |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Paramodulation with Built-in AC-Theories and Symbolic Constraints |
00CC89 |
S. Clérici [Espagne] ; R. Jiménez [Espagne] ; F. Orejas [Espagne] | Semantic constructions in the specification language Glider |
00CD56 |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | AC-superposition with constraints: No AC-unifiers needed |
00D208 |
Marisa Navarro [Espagne] ; Fernando Orejas [Espagne] ; Jean-Luc Remy [France] | Contextual rewriting as a sound and complete proof method for conditional LOG-specifications |
00D689 |
Robert Nieuwenhuis [Espagne] ; Albert Rubio [Espagne] | Basic superposition is complete |
00EE28 |
F. Orejas [Espagne] | On the representation of data types |